On implicative closure operators in approximate reasoning
نویسندگان
چکیده
منابع مشابه
On implicative closure operators in approximate reasoning
This paper introduces a new class of fuzzy closure operators called implicative closure operators, which generalize some notions of fuzzy closure operators already introduced by different authors. We show that implicative closure operators capture some usual consequence relations used in Approximate Reasoning, like Chakraborty s graded consequence relation, Castro et al. s fuzzy consequence rel...
متن کاملOn consequence in approximate reasoning
The purpose of this paper is to explore the notion of consequence in Approximate Reasoning. While logical consequence has an standard (semantic and syntactic) definition in Exact Logic, several different definitions of that concept can be considered in the Approximate Reasoning framework. In this paper some definitions are compared with consequences derived from inference methods used in Artifi...
متن کاملFuzzy Measure Based Approximate Reasoning with Distance-based Operators
In the paper a distance based operators based approximate reasoning method is represented, applying fuzzy measure. Distance based operators satisfy most of properties as generally defined parametrical operators. Based on this the possible relationship with the integrals based on fuzzy measures is introduced. It can be shown, that the reason used for fuzzy integral introduction is similar to the...
متن کاملApproximate Reasoning Based on Similarity
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the resulting operator is still a closure operator. Also, we extend any similarity into a similarity which is compatible with the logical equivalence, and we prove that this gives the ...
متن کاملFrom torsion theories to closure operators and factorization systems
Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2003
ISSN: 0888-613X
DOI: 10.1016/s0888-613x(03)00016-1